A logic-based Formalization for Component Specification.
نویسندگان
چکیده
منابع مشابه
A logic-based formalization for component specification
We consider a component-based approach to modelling complex systems using UML. We describe how component concepts at a specification level (interfaces, components, architectures) can be formalized in a uniform way using a distributed logical framework. In the logic MDTL, each component has associated to it a local logic consisting of a home logic and a communication logic. Component contracts a...
متن کاملTemporal Logic Based Specification of Component Interaction Protocols
The interaction protocols of software components are critical to their proper understanding and use. In this paper, we introduce a temporal logic based approach to the specification of component interaction protocols. The protocol specifications take the form of interaction constraints on a component’s signature elements (i.e., attributes, operations and events). In particular, this approach al...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولA Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems
Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violat...
متن کاملModal specification theories for component-based design
Component-based software engineering has emerged as an important software engineering discipline to cope with the growing complexity of today’s software systems. Components are encapsulated software units with well-defined interfaces. A key principle of component-based development is to build larger systems by composition of smaller, less complex components. An important application area concer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2002
ISSN: 1660-1769
DOI: 10.5381/jot.2002.1.3.a13